Qu'est-ce que loi de morgan ?

La loi de Morgan est une règle de logique mathématique qui énonce que la négation d'une conjonction est équivalente à la disjonction de la négation de chaque terme, et vice versa.

En d'autres termes, si nous avons deux propositions A et B, la loi de Morgan dit que:

• La négation de A et de B est équivalente à la disjonction de la négation de A avec la négation de B. Exemple: "Il ne pleut pas et il ne fait pas froid" est équivalent à "Il pleut ou il fait froid".
• La négation de A ou de B est équivalente à la conjonction de la négation de A avec la négation de B. Exemple: "Il pleut ou il fait froid" est équivalent à "Il ne pleut pas et il ne fait pas froid".

La loi de Morgan peut être utile pour simplifier des expressions logiques complexes, en permettant de transformer des conjonctions en disjonctions, et inversement.